منابع مشابه
Behavioral Algebraization of Logics
The theory of abstract algebraic logic (AAL) studies the mechanism by which a class of algebras can be associated with a given logic. Despite of its success, the traditional tools of AAL have a rather limited scope of application. In this dissertation we generalize the notion of algebraizable logic using the tools of many-sorted behavioral algebra. In this way, we extended the scope of applicat...
متن کامل9- Algebraization of realizability
In the rst parts of this thesis, we introduced several calculi for which we gave a Krivine realizability interpretation. Namely, in addition to Krivine’s λc -calculus, we presented interpretations for the callby-name, call-by-value and call-by-need λμμ̃-calculi, for dLt̂p and for dLPAω . Amongst others, we could cite Munch-Maccagnoni’s interpretation for System L [126], Lepigre’s interpretation ...
متن کامل9- Algebraization of realizability
In the rst parts of this thesis, we introduced several calculi for which we gave a Krivine realizability interpretation. Namely, in addition to Krivine’s λc -calculus, we presented interpretations for the callby-name, call-by-value and call-by-need λμμ̃-calculi, for dLt̂p and for dLPAω . Amongst others, we could cite Munch-Maccagnoni’s interpretation for System L [126], Lepigre’s interpretation ...
متن کاملOn the Algebraization of Non-finitary Logics
In this talk, we exhibit a non-finitary sentential logic that is algebraized by a quasivariety—in fact by a finitely based variety of finite type. The algebraization process requires infinitely many defining equations. The existence of such a logic settles questions posed by J. Czelakowski [4] and by B. Herrmann [7]. This work has been published in [9]. For present purposes, a deductive system ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics Letters B
سال: 1972
ISSN: 0370-2693
DOI: 10.1016/0370-2693(72)90333-4